Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
341	Programming for MSc Part I Part 1: Fundamentals (d) Branching Add to Reading List Source URL: herbert.the-little-red-haired-girl.org Language: English - Date: 2009-07-29 03:21:47 Programming idioms Recursion Computability theory Subroutines Theoretical computer science Fibonacci number Fib Boo Printf format string Computer programming Computing Software engineering
342	How to Acknowledge Hypercomputation? Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:05 Computer science Computability theory Hypercomputation Oracle machine Computability Digital physics Halting problem Computable function Decision problem Theoretical computer science Applied mathematics Theory of computation
343	Wellfounded Recursion with Copatterns A Unified Approach to Termination and Productivity Andreas Abel Brigitte Pientka Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2013-07-16 18:56:31 Computability theory Programming idioms Theoretical computer science Recursion Subroutines Pattern matching Haskell Map Lambda calculus Software engineering Computing Computer programming
344	PDF Document Add to Reading List Source URL: all.net Language: English - Date: 2010-05-24 14:08:04 Computability theory Formal methods Models of computation Computer security Intent Military science Operating system Computer Email Computing Electronics Technology
345	PDF Document Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:14 Computer science Computability theory Models of computation Alan Turing Universal Turing machine Computability Post correspondence problem Algorithm Counter machine Theory of computation Theoretical computer science Turing machine
346	Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Recursion Computability theory Mathematical logic Programming idioms Theory of computation Fold Well-founded relation Function Pattern matching Mathematics Computer programming Computing
347	1. Thanks to organizers for the invitation. 2. The first part of the work is joint with Kazuto Yoshimura from JAIST. Reductions in computability theory from a constructive point of view Add to Reading List Source URL: math.andrej.com Language: English - Date: 2014-07-19 08:49:25 Functions and mappings Function Entailment Universal property Μ operator Linear temporal logic Mathematics Logic Mathematical logic
348	Non Observability in the Random Oracle Model Prabhanjan Ananth and Raghav Bhaskar Microsoft Research India BangaloreAbstract Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-12-18 23:51:34 Cryptographic hash functions Computability theory Random oracle Oracle machine Oracle Corporation Proof of knowledge L Standard model Oracle Database Cryptography Theoretical computer science Cryptographic protocols
349	PDF Document Add to Reading List Source URL: www.erlang-factory.com Language: English - Date: 2011-09-19 06:17:29 Functional languages Recursion Programming idioms Subroutines Computability theory Erlang Haskell Fixed-point combinator Closure Software engineering Computer programming Computing
350	Encoding Functions with Constant Online Rate or How to Compress Garbled Circuit Keys∗ Benny Applebaum† Yuval Ishai‡ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-02-15 02:39:26 Communication Quantum complexity theory Quantum information science Computability theory Communication complexity Information theory Circuit complexity PP Lookup table Theoretical computer science Applied mathematics Computational complexity theory

UPDATE